Automated Commonsense Reasoning About Human Memory Reid Swanson and Andrew S. Gordon Institute for Creative Technologies University of Southern CaliforniaFiji Way, Marina del Rey, CA 90292 , go

Source URL: people.ict.usc.edu

An Integrated Proof Language for Imperative Programs Karen Zee Viktor Kuncak Martin C. Rinard

Source URL: lara.epfl.ch

• Applied mathematics
• Formal methods
• Logic in computer science
• Reasoning
• Proof assistant
• Formal verification
• KeY
• Isabelle
• Reasoning system
• Theoretical computer science
• Mathematics
• Automated theorem proving

Using Iterated Reasoning to Predict Opponent Strategies Michael Wunder Michael Kaisers Rutgers University

Source URL: michaelkaisers.com

• Science
• Dynamic programming
• Markov processes
• Stochastic control
• Control theory
• Partially observable Markov decision process
• Automated planning and scheduling
• Multi-agent system
• Markov decision process
• Game theory
• Statistics
• Artificial intelligence

IN PARTNERSHIP WITH: Université Paris-Sud (Paris 11) Activity ReportProject-Team TOCCATA

Source URL: raweb.inria.fr

• Automated theorem proving
• Formal methods
• Logic in computer science
• Artificial intelligence
• Formal verification
• Coq
• Proof assistant
• KeY
• Automated reasoning
• Theoretical computer science
• Mathematics
• Applied mathematics

Decision methods for arithmetic Third summer school on formal methods Leonardo de Moura Microsoft Research Symbolic Reasoning

Source URL: leodemoura.github.io

• Propositional calculus
• Theoretical computer science
• Rules of inference
• Logic programming
• Resolution
• Literal
• Clause
• Automated theorem proving
• Logic
• Mathematical logic

  INFLECTED OBJECTS #1: ABSTRACTION Rising automated reasoning Philippe Decrauzat, Harm van den Dorpel,

Source URL: www.istitutosvizzero.it

• Art movements
• Modern art
• Culture
• Abstract art
• Contemporary art
• Visual arts
• Art history
• Painting

R E ACT ! An Interactive Tool for Hybrid Planning in Robotics Zeynep Dogmus, Volkan Patoglu and Esra Erdem Faculty of Engineering and Natural Sciences, Sabancı University, ˙Istanbul, Turkey Email: {zeynepdogmus,vpatogl

Source URL: faculty.cua.edu

• Logic programming
• Automated planning and scheduling
• Formal methods
• Reasoning
• Action description language
• Answer set programming
• Action language
• Algorithm
• Boolean satisfiability problem
• Theoretical computer science
• Applied mathematics
• Artificial intelligence

Fritz Obermeyer, Inference Engineer http://fritzo.org

Source URL: fritzo.org

• Science
• Formal methods
• Automated theorem proving
• Reasoning
• Statistical inference
• Bayesian network
• Inference
• Bayesian inference
• Statistical classification
• Statistics
• Logic
• Bayesian statistics

Hierarchical Spatial Reasoning theory and GIS technology applied for the automated delineation of administrative boundaries

Source URL: csdila.unimelb.edu.au

• Geographic information systems
• Geography
• Geostatistics
• Spatial analysis
• Spatial data infrastructure
• Geospatial analysis
• Boundary problem
• Modifiable areal unit problem
• Statistics
• Spatial data analysis
• Cartography

Automated Critique of Sketched Mechanisms

Source URL: www.spatiallearning.org

• Knowledge
• Cognitive science
• Educational psychology
• Scientific method
• Classical mechanics
• Qualitative Reasoning Group
• Ken Forbus
• System
• Spatial–temporal reasoning
• Science
• Reasoning
• Ethology